Making the Implicit Explicit: Towards An Assurance Case for DO-178C
نویسنده
چکیده
For about two decades, compliance with Software Considerations in Airborne Systems and Equipment Certification (DO-178B) has been the primary means for receiving regulatory approval for using software on commercial airplanes. A new edition of the standard, DO-178C, was published in December 2011, and regulatory bodies have started the process towards recognizing this edition. The stated purpose of DO-178C remains unchanged from its predecessor: providing guidance “for the production of software for airborne systems and equipment that performs its intended function with a level of confidence in safety that complies with airworthiness requirements.” Within the text of the guidance, little or no rationale is given for how a particular objective or collection of objectives contributes to achieving this purpose. Thus the assurance case for the document is implicit. This paper discusses a current effort to make the implicit explicit. In particular, the paper describes the current status of the research seeking to identify the specific arguments contained in, or implied by, the DO-178C guidance that implicitly justify the assumption that the document meets its stated purpose.
منابع مشابه
Towards Understanding the Do-178c / Ed-12c Assurance Case
This paper describes initial work towards building an explicit assurance case for DO-178C / ED-12C. Two specific questions are explored: (1) What are some of the assumptions upon which the guidance in the document relies, and (2) What claims are made concerning test coverage analysis?
متن کاملExplicate ‘78: Uncovering the Implicit Assurance Case in DO–178C
For about two decades, compliance with Software Considerations in Airborne Systems and Equipment Certification (DO–178B/ED–12B) has been the primary means for receiving regulatory approval for using software on commercial airplanes. A new edition of the standard, DO–178C/ED–12C, was published in December 2011, and recognized by regulatory bodies in 2013. The purpose remains unchanged: to provid...
متن کاملMeasuring the Effectiveness of Explicit and Implicit Instruction through Explicit and Implicit Measures
Many studies have examined the effect of different approaches to teaching grammar including explicit and implicit instruction. However, research in this area is limited in a number of respects. One such limitation pertains to the issue of construct validity of the measures, i.e. the knowledge developed through implicit instruction has been measured through instruments which favor th...
متن کاملتأثیر اسنادهای علّی بر تصور قالبی در شرایط ترجیح درونگروهی: آیا تصور قالبی تغییر میکند؟
The effects of causal attributions on stereotype was examined in an experiment. Preliminary study showed that student studying in public universities have negative attitude towards IQ of Azad University students as compared with public university students. This stereotype was used as a means to determine the ingroup favoritism condition. In the main experiment, 80 Mohaggeg Ardabili university s...
متن کاملسوگیری حافظه ضمنی و آشکار در بیماران مضطرب و افسرده
Williams, Watts, Macleod and Mathews' (1988) model of anxiety and depression leads to the prediction that anxious patients will show mood – congreuent implicit memory bias, while depressed patients will show mood-congruent explicit memory bias.Although this prediction has been supported by some researchers (Denny & Hunt, 1992 mathews, Moog, et al , 1989 watkins, et al, 1992), the reliability ...
متن کامل